The Automatic Computation of Second-order Slope Tuples for Some Nonsmooth Functions

نویسنده

  • MARCO SCHNURR
چکیده

! , to occur in the function expression of the underlying function. Furthermore, we allow the function expression to contain functions given by two or more branches. By using interval arithmetic, second-order slope tuples provide verified enclosures of the range of the underlying function. We give some examples comparing range enclosures given by a second-order slope tuple with enclosures from previous papers.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A second-order pruning step for verified global optimization

We consider pruning steps used in a branch-and-bound algorithm for veri ed global optimization. A rst-order pruning step was given by Ratz using automatic computation of a rst-order slope tuple [21, 22]. In this paper, we introduce a second-order pruning step which is based on automatic computation of a second-order slope tuple. We add this second-order pruning step to the algorithm of Ratz. Fu...

متن کامل

On Sequential Optimality Conditions without Constraint Qualifications for Nonlinear Programming with Nonsmooth Convex Objective Functions

Sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. Here, nonsmooth approximate gradient projection and complementary approximate Karush-Kuhn-Tucker conditions are presented. These sequential optimality conditions are satisfied by local minimizers of optimization problems independently of the fulfillment of constrai...

متن کامل

Supercyclic tuples of the adjoint weighted composition operators on Hilbert spaces

We give some sufficient conditions under which the tuple of the adjoint of weighted composition operators $(C_{omega_1,varphi_1}^*‎ , ‎C_{omega_2,varphi_2}^*)$ on the Hilbert space $mathcal{H}$ of analytic functions is supercyclic‎.

متن کامل

Sufficiency and duality for a nonsmooth vector optimization problem with generalized $alpha$-$d_{I}$-type-I univexity over cones‎

In this paper, using Clarke’s generalized directional derivative and dI-invexity we introduce new concepts of nonsmooth K-α-dI-invex and generalized type I univex functions over cones for a nonsmooth vector optimization problem with cone constraints. We obtain some sufficient optimality conditions and Mond-Weir type duality results under the foresaid generalized invexity and type I cone-univexi...

متن کامل

OPTIMAL NOZZLE SHAPES OF CO2-N2-H2O GASDYNAMIC LASERS

In an axisymmetric CO2-N2-H2O gas dynamic laser, let ? denote the intersection of the vertical plane of symmetry with the upper part of the (supersonic) nozzle. To obtain a maximal small signal gain, some authors have tested several families of curves for ?. To find the most general solution for ?, an application of Pontryagin’s principle led to the conjuncture that the optimal ? must consist o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007